『Introduction to Higher-Order Categorical Logic』
著者：
Yoachim Lambek
,
P.J. Scott
版元：
Cambridge University Press
発行年：
1988/3/25
頁数：304ページ
形態：Paperback
ISBN：9780521356534
定価：
所持：
Introduction to Higher-Order Categorical Logic | Cambridge University Press & Assessment
https://raw.githubusercontent.com/Mzk-Levi/texts/master/Lambek%20J.%2C%20Scott%20P.J.%20Introduction%20to%20Higher%20Order%20Categorical%20Logic.pdf
/mrsekut-p/Introduction to Higher-Order Categorical Logic
#文献